English Computing Dictionary
◊ TOTALLY ORDERED
totally ordered
Having a {total ordering}.
(1997-01-10)